Thielscher, Michael : rechercher sur Z-Library

Synthesis Lectures on Artificial Intelligence and Machine Learning

Année:

2007

Langue:

english

Fichier:

PDF, 208 KB

english, 2007

Action Programming Languages

Thielscher, Michael

Journal:

Année:

2008

Langue:

english

Fichier:

PDF, 872 KB

english, 2008

On prediction in theorist

Journal:

Année:

1993

Langue:

english

Fichier:

PDF, 461 KB

english, 1993

From situation calculus to fluent calculus: State update axioms as a solution to the inferential frame problem

Journal:

Sebastian Haufe, Stephan Schiffel, Michael Thielscher

Année:

1999

Langue:

english

Fichier:

PDF, 192 KB

english, 1999

Automated verification of state sequence invariants in general game playing

Journal:

Année:

2012

Langue:

english

Fichier:

PDF, 400 KB

english, 2012

A unifying action calculus

Journal:

Année:

2011

Langue:

english

Fichier:

PDF, 286 KB

english, 2011

The Qualification Problem: A solution to the problem of anomalous models

Journal:

Année:

2001

Langue:

english

Fichier:

PDF, 284 KB

english, 2001

Reasoning about actions: steady versus stabilizing state constraints

Journal:

Michael Thielscher, Torsten Schaub

Année:

1998

Langue:

english

Fichier:

PDF, 1.28 MB

english, 1998

Default reasoning by deductive planning

Journal:

Journal of Automated Reasoning

Année:

1995

Langue:

english

Fichier:

PDF, 3.08 MB

english, 1995

Ramification and causality

Journal:

Année:

1997

Langue:

english

Fichier:

PDF, 3.49 MB

english, 1997

[Lecture Notes in Computer Science] AI 2012: Advances in Artificial Intelligence Volume 7691 || An Evolutionary Approach for the Design of Autonomous Underwater Vehicles

DRESCHER, CONRAD, THIELSCHER, MICHAEL

Année:

2012

Langue:

english

Fichier:

PDF, 307 KB

english, 2012

ALPprolog – A new logic programming method for dynamic domains

Journal:

Theory and Practice of Logic Programming

Année:

2011

Langue:

english

Fichier:

PDF, 155 KB

english, 2011

[Communications in Computer and Information Science] Computer Games Volume 614 || The Surakarta Bot Revealed

Cazenave, Tristan, Winands, Mark H.M., Edelkamp, Stefan, Schiffel, Stephan, Thielscher, Michael, Togelius, Julian

Année:

2016

Langue:

english

Fichier:

PDF, 827 KB

english, 2016

Intracranial electric field measurements during TES. Identifying determinant factors of the electric field distribution

Opitz, Alexander, Yeagle, Erin, Thielscher, Axel, Schroeder, Charles, Mehta, Ashesh, Milham, Michael P.

Journal:

Brain Stimulation

Année:

2017

Langue:

english

Fichier:

PDF, 52 KB

english, 2017

The IJCAI-09 WORKSHOP ON GENERAL GAME PLAYING

BjÃ¶rnsson, Yngvi, Thielscher, Michael

Journal:

ICGA Journal

Année:

2008

Fichier:

PDF, 126 KB

2008

Game description language and dynamic epistemic logic compared

Engesser, Thorsten, MattmÃ¼ller, Robert, Nebel, Bernhard, Thielscher, Michael

Journal:

Sven-Erik Bornscheuer, Michael Thielscher

Année:

2020

Fichier:

PDF, 904 KB

2020

Explicit and implicit indeterminism reasoning about uncertain and contradictory specifications of dynamic systems

Journal:

The Journal of Logic Programming

Année:

1997

Langue:

english

Fichier:

PDF, 1.99 MB

english, 1997

On the completeness of SLDENF-resolution

Journal of Automated Reasoning

Journal:

Année:

1996

Langue:

english

Fichier:

PDF, 910 KB

english, 1996

Computing change and specificity with equational logic programs

Steffen Hölldobler, Michael Thielscher

Journal:

Annals of Mathematics and Artificial Intelligence

Année:

1995

Langue:

english

Fichier:

PDF, 1.98 MB

english, 1995

GDL-II

KI - Künstliche Intelligenz

Journal:

Année:

2011

Langue:

english

Fichier:

PDF, 220 KB

english, 2011

Special Issue on General Game Playing

KI - Künstliche Intelligenz

Journal:

Année:

2011

Langue:

english

Fichier:

PDF, 192 KB

english, 2011

Knowledge-Based General Game Playing

Sebastian Haufe, Daniel Michulke, Stephan Schiffel, Michael Thielscher

Journal:

KI - Künstliche Intelligenz

Année:

2011

Langue:

english

Fichier:

PDF, 464 KB

english, 2011

The Concurrent, Continuous Fluent Calculus

Fisher, Michael, Sadri, Fariba, Thielscher, Michael

Journal:

Studia Logica

Année:

2001

Langue:

english

Fichier:

PDF, 220 KB

english, 2001

[Lecture Notes in Computer Science] Computational Logic in Multi-Agent Systems Volume 5405 || Argument-Based Decision Making and Negotiation in E-Business: Contracting a Land Lease for a Computer Assembly Plant

Année:

2009

Langue:

english

Fichier:

PDF, 294 KB

english, 2009

[Lecture Notes in Computer Science] AI 2012: Advances in Artificial Intelligence Volume 7691 || Generating Realistic Online Auction Data

Strass, Hannes, Thielscher, Michael

Année:

2012

Langue:

english

Fichier:

PDF, 268 KB

english, 2012

A general first-order solution to the ramification problem with cycles

Journal:

Journal of Applied Logic

Année:

2013

Langue:

english

Fichier:

PDF, 413 KB

english, 2013

Logical-Epistemic Foundations of General Game Descriptions

Ruan, Ji, Thielscher, Michael

Journal:

Studia Logica

Année:

2014

Langue:

english

Fichier:

PDF, 274 KB

english, 2014

[Lecture Notes in Computer Science] AI 2012: Advances in Artificial Intelligence Volume 7691 || A Probabilistic Least Squares Approach to Ordinal Regression

Année:

2012

Langue:

english

Fichier:

PDF, 313 KB

english, 2012

[Lecture Notes in Computer Science] AI 2012: Advances in Artificial Intelligence Volume 7691 || A New Genetic Algorithm for Simplified Protein Structure Prediction

Zhang, Dongmo, Thielscher, Michael

Année:

2012

Langue:

english

Fichier:

PDF, 843 KB

english, 2012

Representing and Reasoning about Game Strategies

Journal:

Journal of Philosophical Logic

Année:

2015

Langue:

english

Fichier:

PDF, 961 KB

english, 2015

[Lecture Notes in Computer Science] AI 2012: Advances in Artificial Intelligence Volume 7691 || A Dimension Reduction Approach to Classification Based on Particle Swarm Optimisation and Rough Set Theory

Lutz, Carsten, Thielscher, Michael

Année:

2012

Langue:

english

Fichier:

PDF, 226 KB

english, 2012

[Lecture Notes in Computer Science] KI 2014: Advances in Artificial Intelligence Volume 8736 || Evaluating Practical Automated Negotiation Based on Spatial Evolutionary Game Theory

Année:

2014

Langue:

english

Fichier:

PDF, 273 KB

english, 2014

[Lecture Notes in Computer Science] AI 2012: Advances in Artificial Intelligence Volume 7691 || A Comparative Study of Sampling Methods and Algorithms for Imbalanced Time Series Classification

Lutz, Carsten, Thielscher, Michael

Année:

2012

Langue:

english

Fichier:

PDF, 427 KB

english, 2012

[Lecture Notes in Computer Science] KI 2014: Advances in Artificial Intelligence Volume 8736 || Energy-Efficient Routing: Taking Speed into Account

Année:

2014

Langue:

english

Fichier:

PDF, 609 KB

english, 2014

Representing Concurrent Actions and Solving Conflicts

BORNSCHEUER, SVEN-ERIK, THIELSCHER, MICHAEL

Journal:

Logic Journal of IGPL

Année:

1996

Langue:

english

Fichier:

PDF, 733 KB

english, 1996

Kommunikation von Behandlungsschwerpunkten psychiatrischer Kliniken

Thielscher, Christian, Kox, Andreas, Schütte, Michael

Journal:

Psychiatrische Praxis

Année:

2010

Langue:

german

Fichier:

PDF, 87 KB

german, 2010

[Communications in Computer and Information Science] Computer Games Volume 614 || Multi-agent Retrograde Analysis

Cazenave, Tristan, Winands, Mark H.M., Edelkamp, Stefan, Schiffel, Stephan, Thielscher, Michael, Togelius, Julian

Année:

2016

Langue:

english

Fichier:

PDF, 170 KB

english, 2016

FLUX: A logic programming method for reasoning agents

THIELSCHER, MICHAEL

Journal:

Theory and Practice of Logic Programming

Année:

2005

Langue:

english

Fichier:

PDF, 288 KB

english, 2005

[Communications in Computer and Information Science] Computer Games Volume 614 || The GRL System: Learning Board Game Rules with Piece-Move Interactions

Cazenave, Tristan, Winands, Mark H.M., Edelkamp, Stefan, Schiffel, Stephan, Thielscher, Michael, Togelius, Julian

Année:

2016

Langue:

english

Fichier:

PDF, 1.44 MB

english, 2016

[Communications in Computer and Information Science] Computer Games Volume 614 ||

Cazenave, Tristan, Winands, Mark H.M., Edelkamp, Stefan, Schiffel, Stephan, Thielscher, Michael, Togelius, Julian

Année:

2016

Langue:

english

Fichier:

PDF, 13.09 MB

english, 2016

[Communications in Computer and Information Science] Computer Games Volume 614 || An Experimental Investigation on the Pancake Problem

Cazenave, Tristan, Winands, Mark H.M., Edelkamp, Stefan, Schiffel, Stephan, Thielscher, Michael, Togelius, Julian

Année:

2016

Langue:

english

Fichier:

PDF, 209 KB

english, 2016

On Commonsense Reasoning 2 || The Concurrent, Continuous Fluent Calculus